RELAP5/MOD3.3 Code Validation with Plant Abnormal Event
نویسندگان
چکیده
منابع مشابه
Validation of treatment planning system using simulation PRIMO code.
Introduction: In radiation therapy, in order to double-check the dosimetric results of the main treatment planning system (TPS), a distinct TPS, with few capacitances in terms of contouring and a variety of dose calculation algorithms is used. This system has the capability to double check the planification and the accurate prediction of dose distribution in order to be ensured...
متن کاملFormal Data Validation with Event-B
This article presents a verification and validation activity performed in an industrial context, to validate configuration data of a metro CBTC system by creating a formal B model of these configuration data and of their properties. A double tool chain is used to safely check whether a certain given input of configuration data fulfill its properties. One tool is based on some Rodin and open sou...
متن کاملCode Generation for Event-B
We present an approach to generating program code from Event-B models that is correct-by-construction. Correctness is guaranteed by the combined use of well-definedness restrictions, refinement, and assertions. By enforcing the well-definedness of the translated model, we prevent runtime errors that originate from semantic differences between the target language and Event-B, such as different i...
متن کاملDecoding Abnormal Splicing Code in Human Diseases
RNPs: Ribonucleoproteins; snRNPs: Small Nuclear Ribonucleoproteins; snRNA: Small Nuclear RNA; BP: Branch Point; PPT: Poly Pyrimidine Tract; ISE: Intronic Splicing Enhancer; ESE: Exonic Splicing Enhancer; ISS: Intronic Splicing Silencer; ESS: Exonic Splicing Silencer; SR Proteins: Serine/ArginineRich Proteins; RRM: RNA-Recognition Motif; RS Domains: Arginine and Serine Rich Domains; hnRNPs: Hete...
متن کاملSiemens primus accelerator simulation using EGSnrc Monte Carlo code and gel dosimetry validation with optical computed tomography system by EGSnrc code
Monte Carlo method is the most accurate method for simulation of radiation therapy equipment. The linear accelerators (linac) are currently the most widely used machines in radiation therapy centers. Monte Carlo modeling of the Siemens Primus linear accelerator in 6 MeV beams was used. Square field size of 10 × 10 cm2 produced by the jaws was compared with TLD. Head simulation of Siemens accele...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science and Technology of Nuclear Installations
سال: 2008
ISSN: 1687-6075,1687-6083
DOI: 10.1155/2008/745178